Truth Simpliciter and Logical Consequence
ثبت نشده
چکیده
منابع مشابه
Consequence Mining: A New Approach to Logical Constants∗
Why is the concept of a logical constant important? Surely the strongest reason is that it appears to be involved in any attempt to identify a precise notion of logical consequence, and related notions like logical truth and analyticity. Whether you approach logical consequence semantically, in terms of preservation of truth, or syntactically, in terms of derivability in a formal system, you fi...
متن کاملA Characterization of Consequence Operations Preserving Degrees of Truth
Formalization of reasoning which accepts rules of inference leading to conclusions whose logical values are not smaller than the logical value of the “weakest” premise leads to the concept of consequence operation preserving degrees of truth. Several examples of such consequence operation have already been considered (see e.g. [5]). In the present paper we give a general notion of the consequen...
متن کاملمبانی منطقی طراحی سیستم خط‌مشی‌گذاری دولتی برای تحقق عدالت حق‌مدار (براساس نهج‌البلاغه)
This article demonstrates a part of findings of a research that has been designed with the intention of determining the characteristics of the desired public policy making system for achieving social justice. To begin with, James P. Sterba's categorization of alternative political perspectives to justice is reviewed and then "truth – oriented" justice is studied. To reach a precise and scholar...
متن کاملThe Grounds for the Model-theoretic Account of the Logical Properties
Quantificational accounts of logical truth and logical consequence aim to reduce these modal concepts to the nonmodal one of generality. A logical truth, for example, is said to be an instance of a "maximally general" statement, a statement whose terms other than variables are "logical constants." These accounts used to be the objects of severe criticism by philosophers like Ramsey and Wittgens...
متن کاملTruth Values and Proof Theory
I present an account of truth values for classical logic, intuitionistic logic, and the modal logic s5, in which truth values are not a fundamental category from which the logic is defined, but rather, an idealisation of more fundamental logical features in the proof theory for each system. The result is not a new set of semantic structures, but a new understanding of how the existing semantic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005